- 双语例句 更多例句
利用PowerPoint的VBA编程功能制作勾股定理的探索与验证交互性课件
互联网摘选
Formal Verification of Algorithmic Programs Based on the Isabelle Theorem Prover
基于Isabelle定理证明器算法程序的形式化验证
互联网摘选
- 相关词组
- convolution theorem卷积定理,对合定理;
- Vieta theorem韦达定理
- speaker verification说话人确认
- monotone convergence theorem单调收敛定理
- noisy channel theorem噪声信道定理
- simultaneous verification同时检证
- remainder theorem余部定理;
- existence theorem存在性定理;
- moment of momentum theorem动量矩定理
- individual ergodic theorem个体遍历定理,个体各态历经定理
- cancel after verification核销;
- sign-on verification security开始证实安全性;符号开始安全校验
- the Pythagorean theorem勾股定理;
- hypothesis verification假设验证
- hard implicit function theorem硬隐函数定理
- shifting theorem移相定理
- theorem of topological degree拓扑度定理
- noiseless coding theorem无噪编码定理
- binomial theoremn.二项式定理,二项展开式;
- theorem of angular momentum角动量定理
- 今日热词
- 热门搜索
- stime n.少量;一点点;少许;一瞥;进程启动时间;置系统日期和时间开始时间;设置系统日期和时间;启动时间;生态美;设定存贮时间
- oki 木
- bake v.烤,烘,焙;受晒;n.烤菜;
- American eagle 白头海鵰,秃鹰(美国的象征);美国鹰;美国老鹰
- answer ball 回应球(篮球比赛中,一方队员投中一球后,另一方马上以相同的方式回敬对方一球)
- except prep.除了…之外;conj. 除了;
- grandson n.孙子,外孙;
- google drive 谷歌硬盘;谷歌网盘;在线存储服务
- by my side 在我身边;逆风天使,在我身边; 英文版遇见; 和我在一起
- ceremony n.典礼,仪式;礼节,客套;
- pioneer n.先驱;开拓者;v.开创;
- worth adj.价值,值…钱;值得;拥有…价值的财产;n.价值,意义,作用;

湘公网安备43011202000971号